Uwe Waldmann: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

An Enzyme-Labile Safety Catch Linker for Combinatorial Synthesis on a Soluble Polymeric Support

Uwe Grether, Herbert Waldmann

Journal:

Angewandte Chemie International Edition

Year:

2000

Language:

english

File:

PDF, 199 KB

english, 2000

2

Comparing Instance Generation Methods for Automated Reasoning

Swen Jacobs, Uwe Waldmann

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

3

Ein oxidationslabiler „spurloser” Anker für die Festphasensynthese

Frank Stieber, Uwe Grether, Herbert Waldmann

Journal:

Angewandte Chemie

Year:

1999

Language:

german

File:

PDF, 127 KB

german, 1999

4

Ein enzymlabiler Safety-Catch-Anker für die kombinatorische Synthese an einem löslichen polymeren Träger

Uwe Grether, Herbert Waldmann

Journal:

Angewandte Chemie

Year:

2000

Language:

german

File:

PDF, 197 KB

german, 2000

5

An Oxidation-Labile Traceless Linker for Solid-Phase Synthesis

Frank Stieber, Uwe Grether, Herbert Waldmann

Journal:

Angewandte Chemie International Edition

Year:

1999

Language:

english

File:

PDF, 154 KB

english, 1999

6

Ein rechteckiger Zink-Cluster und ein rechteckiger Nickel-Cluster, in dem ferromagnetische Kopplung auftritt

Rolf W. Saalfrank, Stefan Trummer, Uwe Reimann, Mubarik M. Chowdhry, Frank Hampel, Oliver Waldmann

Journal:

Angewandte Chemie

Year:

2000

Language:

german

File:

PDF, 164 KB

german, 2000

7

An Enzyme-Labile Safety Catch Linker for Synthesis on a Soluble Polymeric Support

Uwe Grether, Herbert Waldmann

Journal:

Chemistry - A European Journal

Year:

2001

Language:

english

File:

PDF, 382 KB

english, 2001

8

A Rectangular Zinc Cluster and a Rectangular Nickel Cluster That Exhibits Ferromagnetic Coupling

Rolf W. Saalfrank, Stefan Trummer, Uwe Reimann, Mubarik M. Chowdhry, Frank Hampel, Oliver Waldmann

Journal:

Angewandte Chemie International Edition

Year:

2000

Language:

english

File:

PDF, 158 KB

english, 2000

9

Multistep Solid-Phase Synthesis of an Antibiotic and Receptor Tyrosine Kinase Inhibitors Using the Traceless Phenylhydrazide Linker

Frank Stieber, Uwe Grether, Ralph Mazitschek, Natascha Soric, Athanassios Giannis, Herbert Waldmann

Journal:

Chemistry - A European Journal

Year:

2003

Language:

english

File:

PDF, 245 KB

english, 2003

10

Development of the Traceless Phenylhydrazide Linker for Solid-Phase Synthesis

Frank Stieber, Uwe Grether, Herbert Waldmann

Journal:

Chemistry - A European Journal

Year:

2003

Language:

english

File:

PDF, 313 KB

english, 2003

11

The Allyl Ester as Carboxy-Protecting Group in the Stereoselective Construction of Neuraminic-Acid Glycosides

Horst Kunz, Herbert Waldmann, Uwe Klinkhammer

Journal:

Helvetica Chimica Acta

Year:

1988

Language:

english

File:

PDF, 415 KB

english, 1988

12

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part I)

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 585 KB

english, 2002

13

Cancellative Abelian Monoids and Related Structures in Refutational Theorem Proving (Part II)

Journal:

Journal of Symbolic Computation

Year:

2002

Language:

english

File:

PDF, 424 KB

english, 2002

14

Extending reduction orderings to ACU-compatible reduction orderings

Journal:

Information Processing Letters

Year:

1998

Language:

english

File:

PDF, 596 KB

english, 1998

15

Refutational theorem proving for hierarchic first-order theories

Leo Bachmair, Harald Ganzinger, Uwe Waldmann

Journal:

Applicable Algebra in Engineering, Communication and Computing

Year:

1994

Language:

english

File:

PDF, 1.20 MB

english, 1994

16

A Combined Superposition and Model Evolution Calculus

Peter Baumgartner, Uwe Waldmann

Journal:

Journal of Automated Reasoning

Year:

2011

Language:

english

File:

PDF, 621 KB

english, 2011

17

Semantics of order-sorted specifications

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.15 MB

english, 1992

18

Modular proof systems for partial functions with Evans equality

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 427 KB

english, 2006

19

Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces

Werner Damm, Henning Dierks, Stefan Disch, Willem Hagemann, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 883 KB

english, 2012

20

SeaCycler: A Moored Open-Ocean Profiling System for the Upper Ocean in Extended Self-Contained Deployments

Send, Uwe, Fowler, George, Siddall, Greg, Beanlands, Brian, Pittman, Merle, Waldmann, Christoph, Karstensen, Johannes, Lampitt, Richard

Journal:

Journal of Atmospheric and Oceanic Technology

Year:

2013

Language:

english

File:

PDF, 1.56 MB

english, 2013

21

Synthetic Tumor-Associated Glycopeptide Antigens

Horst Kunz, Peter Wernig, Marita Schilling, Joachim März, Carlo Unverzagt, Stefan Birnbach, Uwe Lang and Herbert Waldmann

Journal:

Environmental Health Perspectives

Year:

1990

Language:

english

File:

PDF, 185 KB

english, 1990

22

Organoimido complexes of tungsten-(VI) and -(V): correlation between relative orientation of π-donor ligands and electron configuration of the metal

Wesemann, Lars, Waldmann, Ludger, Ruschewitz, Uwe, Ganter, Beate, Wagner, Trixie

Journal:

Journal of the Chemical Society Dalton Transactions

Year:

1997

Language:

english

File:

PDF, 429 KB

english, 1997

23

Konsekutive Umstellung auf Tapentadol PR verbessert Analgesie und Lebensqualität bei Patienten mit starken und chronischen Schmerzen unter Tramadol > 300 mg/d; Conversion to tapentadol PR improves analgesia and quality of life in patients with severe and chronic pain despite using tramadol > 300 mg/d;

Richter, Uwe, Waldmann-Rex, Susanne, Lehmann, Ute

Journal:

Wiener klinische Wochenschrift

Year:

2015

File:

PDF, 324 KB

2015

24

Herd Factors Associated with the Serological Yersinia Prevalence in Fattening Pig Herds

von Altrock, Alexandra, Roesler, Uwe, Waldmann, Karl-Heinz

Journal:

Foodborne Pathogens & Disease

Year:

2011

Language:

english

File:

PDF, 272 KB

english, 2011

25

Erratum zu: Verbesserte Analgesie, Funktionalität und Lebensqualität unter Tapentadol retard

Kern, Kai-Uwe, Krings, Doris, Waldmann-Rex, Susanne

Journal:

MMW - Fortschritte der Medizin

Year:

2014

File:

PDF, 232 KB

2014

26

Foreword to the Special Focus on Constraints and Combinations

Fontaine, Pascal, Sturm, Thomas, Waldmann, Uwe

Journal:

Mathematics in Computer Science

Year:

2015

Language:

english

File:

PDF, 320 KB

english, 2015

27

Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Althaus, Ernst, Beber, Björn, Damm, Werner, Disch, Stefan, Hagemann, Willem, Rakow, Astrid, Scholl, Christoph, Waldmann, Uwe, Wirtz, Boris

Journal:

Science of Computer Programming

Year:

2017

Language:

english

File:

PDF, 831 KB

english, 2017

28

Psychosocial Variables Associated with Immunosuppressive Medication Non-Adherence after Renal Transplantation

Scheel, Jennifer Felicia, Schieber, Katharina, Reber, Sandra, Stoessel, Lisa, Waldmann, Elisabeth, Jank, Sabine, Eckardt, Kai-Uwe, Grundmann, Franziska, Vitinius, Frank, de Zwaan, Martina, Bertram, An

Journal:

Frontiers in Psychiatry

Year:

2018

Language:

english

File:

PDF, 214 KB

english, 2018

29

Claudin-1 expression in cervical cancer

Hoellen, Friederike, Waldmann, Annika, Banz-Jansen, Constanze, Holtrich, Uwe, Karn, Thomas, Oberländer, Martina, Habermann, Jens K., Hörmann, Mareike, Köster, Frank, Ribbat-Idel, Julika, Thill, Marc,

Journal:

Molecular and Clinical Oncology

Year:

2017

Language:

english

File:

PDF, 263 KB

english, 2017

30

Development of a PDEδ targeting PROTAC that impairs lipid metabolism

Waldmann, Herbert, Winzker, Michael, Friese, Alexandra, Koch, Uwe, Janning, Petra, Ziegler, Slava

Journal:

Angewandte Chemie International Edition

Year:

2019

File:

PDF, 3.82 MB

2019

31

Formalizing Bachmair and Ganzingerâs Ordered Resolution Prover

Schlichtkrull, Anders, Blanchette, Jasmin, Traytel, Dmitriy, Waldmann, Uwe

Journal:

Journal of Automated Reasoning

Year:

2020

File:

PDF, 424 KB

2020